
void timer_handler(void);
uint get_ticks(void);
